Exploiting Algebraic Structure in Parallel State Space Search
نویسندگان
چکیده
In this paper we present an approach for performing very large state-space search on parallel machines. While the majority of searching methods in ArtificiM Intelligence rely on heuristics, the paralld algorithm we propose exploits the algebraic structure of problems to reduce both the time and space complexity required to solve these problems on massively parallel machines. Our algorithms have applications to many important problems in Artificial Intelligence and Combinatorial Optimization such as planning problems and scheduling problems.
منابع مشابه
From the Lorentz Transformation Group in Pseudo-Euclidean Spaces to Bi-gyrogroups
The Lorentz transformation of order $(m=1,n)$, $ninNb$, is the well-known Lorentz transformation of special relativity theory. It is a transformation of time-space coordinates of the pseudo-Euclidean space $Rb^{m=1,n}$ of one time dimension and $n$ space dimensions ($n=3$ in physical applications). A Lorentz transformation without rotations is called a {it boost}. Commonly, the ...
متن کاملHoph Hypersurfaces of Sasakian Space Form with Parallel Ricci Operator Esmaiel Abedi, Mohammad Ilmakchi Department of Mathematics, Azarbaijan Shahid Madani University, Tabriz, Iran
Let M^2n be a hoph hypersurfaces with parallel ricci operator and tangent to structure vector field in Sasakian space form. First, we show that structures and properties of hypersurfaces and hoph hypersurfaces in Sasakian space form. Then we study the structure of hypersurfaces and hoph hypersurfaces with a parallel ricci tensor structure and show that there are two cases. In the first case, th...
متن کاملExperimental Study and steady state stability analysis of CLL-T Series Parallel Resonant Converter with Fuzzy controller using State Space Analysis
This paper presents a Closed Loop CLL-T (capacitor inductor inductor) Series Parallel Resonant Converter (SPRC) has been simulated and the performance is analysised. A three element CLL-T SPRC working under load independent operation (voltage type and current type load) is presented in this paper. The Steady state Stability Analysis of CLL-T SPRC has been developed using State Space technique a...
متن کاملKinematic Mapping and Forward Kinematic Problem of a 5-DOF (3T2R) Parallel Mechanism with Identical Limb Structures
The main objective of this paper is to study the Euclidean displacement of a 5-DOF parallel mechanism performing three translation and two independent rotations with identical limb structures-recently revealed by performing the type synthesis-in a higher dimensional projective space, rather than relying on classical recipes, such as Cartesian coordinates and Euler angles. In this paper, Study's...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کامل